$\forall$$r$:$\mathbb{Q}$. 0 $<$ {-}($r$) $\Leftarrow\!\Rightarrow$ $r$ $<$ 0